منابع مشابه
Easy lambda-terms are not always simple
A closed λ-termM is easy if, for any other closed termN , the lambda theory generated by M = N is consistent, while it is simple easy if, given an arbitrary intersection type τ , one can find a suitable pre-order on types which allows to derive τ forM . Simple easiness implies easiness. The question whether easiness implies simple easiness constitutes Problem 19 in the TLCA list of open problem...
متن کاملGood random number generators are (not so) easy to find
Every random number generator has its advantages and deficiencies. There are no `̀ safe'' generators. The practitioner's problem is how to decide which random number generator will suit his needs best. In this paper, we will discuss criteria for good random number generators: theoretical support, empirical evidence and practical aspects. We will study several recent algorithms that perform bette...
متن کاملSimple is not easy
I review and challenge the views on simplicity and its role in linguistics put forward by Ludlow (2011). In particular, I criticize the claim that simplicity—in the sense pertinent to science—is nothing more than ease of use or “user-friendliness”, motivated by economy of (cognitive) labor. I argue that Ludlow’s discussion fails to do justice to the diversity of factors that are relevant to sim...
متن کاملHIF-1 regulation: not so easy come, easy go.
The hypoxia-inducible factor-1 (HIF-1) is the master regulator of the cellular response to hypoxia and its expression levels are tightly controlled through synthesis and degradation. It is widely accepted that HIF-1alpha protein accumulation during hypoxia results from inhibition of its oxygen-dependent degradation by the von Hippel Lindau protein (pVHL) pathway. However, recent data describe n...
متن کاملSimple Priced Timed Games are not That Simple
Priced timed games are two-player zero-sum games played on priced timed automata (whose locations and transitions are labeled by weights modeling the costs of spending time in a state and executing an action, respectively). The goals of the players are to minimise and maximise the cost to reach a target location, respectively. We consider priced timed games with one clock and arbitrary (positiv...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Behavioural Public Policy
سال: 2020
ISSN: 2398-063X,2398-0648
DOI: 10.1017/bpp.2020.36